Logic Negation with Spiking Neural P Systems

Nowadays, the success of neural networks as reasoning systems is doubtless. Nonetheless, one of the drawbacks of such reasoning systems is that they work as black-boxes and the acquired knowledge is not human readable. In this paper, we present a new step in order to close the gap between connectionist and logic based reasoning systems. We show that two of the most used inference rules for obtaining negative information in rule based reasoning systems, the so-called Closed World Assumption and Negation as Finite Failure can be characterized by means of spiking neural P systems, a formal model of the third generation of neural networks born in the framework of membrane computing.Comment: 25 pages, 1 figur

Greenways: physical activity, nature and culture

Resumen basado en el de la publicaciónSe parte del estudio de un trabajo fin de master dentro del master de Educador/a Ambiental en la Universidad de Almería y se adelantan algunas cuestiones del proyecto de tesis a desarrollar que dará continuidad al estudio iniciado. Se indaga, desde la perspectiva narrativa, las concepciones y significados en torno al uso de las Vías Verdes y las posibilidades de desarrollo en diversos ámbitos, en especial, en el de la actividad física en el medio natural. Se plantea la vinculación del campo de estudio de la actividad física con la educación ambiental; y vincular el espacio natural a cuestiones sociales, culturales, educativas y deportivas adquiriendo un significado relevante desde la perspectiva educativa ambiental, profundizando en las aportaciones obtenidas en el estudio piloto. La tesis doctoral se enmarca en el paradigma cualitativo y en el uso de herramientas etnográficas para la obtención de información (entrevistas y observación participante), desde la perspectiva narrativa.ES

Votecoin. Digital citizen’s participation in the city council as a main driver of a social currency in the city

El objetivo de este trabajo es indagar si podemos extender de forma significativa la aceptación de una moneda social digital (emitida por el ayuntamiento), como medio de compensación por la participación ciudadana (voto). A esta moneda social virtual la denominamos de forma genérica Votecoin. La metodología de trabajo empleada es el análisis estadístico de una muestra de 533 participantes en marzo de 2017. Los resultados obtenidos validan la hipótesis principal de esta investigación.Adicionalmente, encontramos que la adopción de esta moneda social aumenta de forma relevante si puede usarse como medio de pago en el comercio local, o para el descuento directo de tasas e impuestos. Por el contrario, su adopción disminuye si no hay un respaldo claro a largo plazo del ayuntamiento, que permita prever el crecimiento del volumen de transacciones de esta moneda complementaria. Las monedas sociales fomentan el empleo local (Groppa, 2013) y son generadoras de confianza y capital social (Michel y Hudon, 2015), pero necesitan un umbral mínimo de adopción para poder consolidarse (Seyfang y Longhurst, 2013), este es el reto que aborda el presente trabajo.Realizamos también una evaluación cualitativa de la viabilidad de su implementación en el municipio de Sevilla, de acuerdo con la teoría del cambio. Esta metodología puede resultar útil para su extensión a otros municipios.The purpose of this paper is to investigate whether we can significantly extend the acceptance of a digital social currency (issued by the city council), as a means of compensation for citizen participation (vote). We call this virtual social currency generically, Votecoin The methodology used is the statistical analysis of a sample of 533 participants in March 2017. The results validated the main hypothesis of this research. Additionally, we find that the adoption of this social currency increases significantly if it can be used as a means of payment in local commerce, or for the direct discount of rates and taxes. On the contrary, its adoption decreases if there is no clear long-term support from the city council, supporting the growth of the volume of transactions using this complementary currency.Social currencies foster local employment (Groppa, 2013) and generate trust and social capital (Michel and Hudon, 2015), but it needs a minimum adoption threshold in order to consolidate (Seyfang and Longhurst, 2013), this is the challenge which addresses the present work. We also carry out a qualitative evaluation of the feasibility of its implementation in the municipality of Seville, according to the theory of change. This methodology can be useful for its extension to other municipalities.Ministerio de Economía y Competitividad CSO2016-78386-

Gestión y generación del conocimiento mediante el uso de plataformas digitales de formación

Las empresas e instituciones se enfrentan a un nuevo entorno, cada vez más competitivo y globalizado que les exige proporcionar respuestas inmediatas, flexibles y personalizadas. Las plataformas digitales de formación han facilitado enormemente la atención inmediata y flexible del alumno, en un marco de dispersión geográfica y horaria. Sin embargo, existen grandes diferencias entre unas plataformas y otras, principalmente desde el punto de vista de la posibilidad de la interacción. La oferta de plataformas en el mercado es amplia y diversa, el futuro de esta modalidad formativa es prometedor, pero exige una implicación de los docentes desde el punto de vista metodológico

Validation Techniques for Sensor Data in Mobile Health Applications

Mobile applications have become amust in every user’s smart device, andmany of these applications make use of the device sensors’ to achieve its goal. Nevertheless, it remains fairly unknown to the user to which extent the data the applications use can be relied upon and, therefore, to which extent the output of a given application is trustworthy or not. To help developers and researchers and to provide a common ground of data validation algorithms and techniques, this paper presents a review of the most commonly used data validation algorithms, along with its usage scenarios, and proposes a classification for these algorithms. This paper also discusses the process of achieving statistical significance and trust for the desired output.Portuguese Foundation for Science and Technology UID/EEA/50008/2013COST Action Architectures, Algorithms and Protocols for Enhanced Living Environments (AAPELE) IC130

University students’ academic achievement indicators: grades versus cumulative credits

El objetivo de este trabajo es estudiar el comportamiento diferencial de dos indicadores de rendimiento académico mediante modelos de regresión lineal multivariante: el indicador tradicional –promedio de calificaciones– y un indicador novedoso –el avance en la carrera– definido como la razón entre los créditos acumulados por el alumno durante cierto período de tiempo y los créditos que teóricamente debió acumular en dicho período de acuerdo con el plan de estudios programado. Se trata de una investigación correlacional, de corte transversal, de variables no manipuladas experimentalmente. Participaron 587 estudiantes matriculados en carreras de Química de la Universidad de la República (UdelaR) durante 2000-2003, con al menos una asignatura aprobada durante el período comprendido entre marzo de 2003 y marzo de 2005. El grupo de participantes fue dividido aleatoriamente en dos muestras: estimación –se construyeron los modelos de regresión lineal incluyendo análisis de interacciones y diagnóstico de anomalías– y validación –los modelos fueron validados mediante contrastes de hipótesis de igualdad de parámetros. Los factores explicativos considerados fueron el rendimiento previo, las metas académicas de los estudiantes, la percepción de su propia capacidad y variables sociodemográficas. Los dos indicadores están notablemente correlacionados entre sí (r=0,615, p<0,001) y ninguno correlaciona significativamente con las metas de resultado (promedio, p=0,612; avance, p=0,358). Los modelos multivariantes fueron satisfactoriamente validados y muestran que los indicadores se ven igualmente afectados por el rendimiento previo, que resultó la variable dominante (promedio, p=0,493, p<0,001; avance, p=0,484, p<0,001). Se diferencian en que el promedio además resulta afectado por la capacidad percibida (p=0,175, p<0,001) y, de manera indirecta, por las metas de aprendizaje (p=0,16, p<0,05, controlando por capacidad percibida). El comportamiento de ambos indicadores es similar, siendo los estudiantes que obtienen las peores calificaciones los más susceptibles de presentar retraso curricular. Hay una dominancia del rendimiento previo como predictor de ambas formas de rendimiento futuroIntroduction. The purpose of this paper is to study the differential function of two academic achievement measurements: the traditional indicator, grades, and a new indicator, career progress, defined as the ratio of cumulative credits earned by students to theoretical credits that should have been earned, over a given period of time, by means of multivariate linear modelling. Method. It is a correlational cross-sectional study, with no manipulation of variables. Participants were 587 students enrolled in Chemistry degree courses at the Universidad de la Republica in 2000-2003 with at least one subject passed in the period March 2003-March 2005. Participants were randomly divided into two samples: Linear models were built on the estimation sample, including interaction analysis and regression diagnostics, and validated on the validation sample, by testing the hypothesis that parameters are the same across samples. Prior achievement, achievement goals, perceived ability and demographic variables were employed as predictors. Results. Both achievement indicators are noticeably correlated (r=0.615, p<0.001) and show no significant correlation with outcome goals (grades, p=0.612; career progress, p=0,358). Multivariate models were satisfactorily validated and suggest that both measurements are equally affected by prior achievement, which proved to be the dominant predictive factor (grades, p=0,493, p<0,001; career progress, p=0,484, p<0,001). Grades are also influenced by perceived ability (p=0,175, p<0,001) and, indirectly, by learning goals (p=0,16, p<0,05, controlling for perceived ability). Discussion. Both indicators perform similarly, suggesting that students low in grades are the most likely to have a slower career progress. Prior achievement is the best predictor of both academic achievement measurement

Manual de fotografía analógica en la era digital

Universidad de Sevilla. Grado en Comunicación Audiovisua